Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
631	Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-05-03 19:17:14 Temporal logic Model theory Propositional calculus Mathematical logic Interpretation Substitution Well-formed formula Logic Formal languages Linear temporal logic
632	Path- and Index-sensitive String Analysis Based on Monadic Second-order Logic Add to Reading List Source URL: researcher.ibm.com Language: English - Date: 2013-10-05 22:24:24 Computing Mathematical logic String Comparison of programming languages Context-free grammar Well-formed formula Trimming Rope Algorithm Formal languages Mathematics Logic
633	Perl versiondocumentation - Pod::Select NAME Pod::Select, podselect() - extract selected sections of POD from input SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:11:33 Perl Lightweight markup languages Formal languages Regular expressions Pattern matching Plain Old Documentation Perl module Comment ReStructuredText Computing Computer programming Software engineering
634	Parsing Time: Learning to Interpret Time Expressions Gabor Angeli Stanford University Stanford, CA 94305 Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2012-04-26 17:59:00 Applied mathematics Parsing Normal distribution Expectation–maximization algorithm Stochastic context-free grammar Maximum likelihood Temporal expressions Formal grammar Regular expression Formal languages Statistics Mathematics
635	Searching of gapped repeats and subrepetitions in a word Roman Kolpakov Moscow State University, Russia Mikhail Podolskiy Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2014-06-14 17:20:36 Combinatorics Formal languages
636	Microsoft Word - Lab4_VirusesAsMaterials2Revised.doc Add to Reading List Source URL: www.chemistry2011.org Language: English - Date: 2013-03-07 19:35:46 Grammar National Grammar Day Literature Formal grammar Apostrophe Disputes in English grammar Linguistics Orthography Style Formal languages Fiction
637	GL120 – Linux Fundamentals Days: 5 Prerequisites: Students should be comfortable with computers. No familiarity with Linux or other Unix Add to Reading List Source URL: www.lantecctc.com Language: English - Date: 2015-03-26 10:27:14 Grammar National Grammar Day Literature Formal grammar Apostrophe Disputes in English grammar Linguistics Orthography Style Formal languages Fiction
638	NATIONAL GRAMMAR DAY www.ESL HOLIDAY LESSONS.com Add to Reading List Source URL: www.eslholidaylessons.com Language: English - Date: 2013-08-12 19:18:09 Grammar National Grammar Day Literature Formal grammar Apostrophe Disputes in English grammar Linguistics Orthography Style Formal languages Fiction
639	Learning Continuous Phrase Representations and Syntactic Parsing with Recursive Neural Networks Richard Socher, Christopher D. Manning, Andrew Y. Ng Department of Computer Science Stanford University Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2011-03-09 16:41:06 Computational neuroscience Compiler construction Parsing Linguistics Cybernetics Recurrent neural network Semantics Chart parser Formal grammar Neural networks Science Formal languages
640	JMLR: Workshop and Conference Proceedings11th International Conference on Grammatical Inference Bootstrapping Dependency Grammar Inducers from Incomplete Sentence Fragments via Austere Models Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2012-07-22 14:43:16 Computational linguistics Syntax Compiler construction Corpus linguistics Parse tree Parsing Dependency grammar Immediate constituent analysis Context-free grammar Linguistics Formal languages Science

UPDATE